Armagedroid, APKs Static Analyzer Software

Armagedroid, APKs Static Analyzer Software

Armagedroid, a software for static analysis of Android APKs, arises with the objective of assisting in the decision making by the user analyst, who must evaluate, thanks to the metadata obtained by the program, if it is a reliable package or a possible malware application, automating the procedures involved in this type of analysis. Consistent phases of the Armagedroid analysis consider the APK...

AstréeA: A Static Analyzer for Large Embedded Multi-Task Software

XML Static Analyzer User Manual

This manual provides documentation for using the logical solver introduced in [Genevès, 2006; Genevès et al., 2007; Genevès et al., 2008]. Key-words: Static Analysis, Logic, Satisfiability Solver, XML, Schema, XPath, Queries

ELISA Analyzer •, a Software to Analyze and Optimize ELISA Data

ELISA data is usually handled in the MS Excel worksheets through different methods and different formulas. Accurate and precise calculations of the data is time consuming and tedious. ELISA Analyzer was developed with a user friendly interface to streamline titration and analysis of the data obtained from ELISA and improve rapid and lucid presentation of the results. The software can also hel...

Atypical Protein Kinases (aPKs)

Atypical protein kinases lack sequence similarity to the ePK domain HMM profile, but have been shown experimentally to have protein kinase activity, or are clear homologs of aPKs with demonstrated protein kinase activity. All aPK families are small, several having just one member in vertebrates, and none in invertebrates. Other aPK families may remain to be discovered by biochemical methods, bu...